Integer-valued function